$\forall$${\it the\_es}$:ES. WellFnd\{i\}(E;$x$,$y$.($x$ $<$loc $y$))